Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
41	A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot § Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:48 Computing Software engineering Computer programming Abstract interpretation Data types Functional languages Denotational semantics Function Array data type Scala Widening Data-flow analysis
42	Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar Add to Reading List Source URL: math.andrej.com Language: English - Date: 2012-03-08 07:36:33 Software engineering Computer programming Theoretical computer science Symbol Logic in computer science Valuation Denotational semantics Monad Table of stars with Bayer designations
43	Linear process algebra LPA Vaughan Pratt Stanford University October 19, 2011 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-10-20 01:25:42 Linear algebra Numerical analysis Denotational semantics Algebra over a field Matrix Vector space Algebra
44	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:31 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
45	TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2015-04-18 12:23:37 Logic Theoretical computer science Mathematics Logic in computer science Argumentation framework Artificial intelligence Model theory Semantics Structure Denotational semantics
46	Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2012-10-02 09:49:19 Formal methods Logic in computer science Models of computation Programming language semantics Abstraction Kernel Abstract state machines Semantics Denotational semantics Operational semantics Refinement Limit
47	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:14 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
48	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:28:44 Theoretical computer science Denotational semantics Logic in computer science Predicate Heap Linguistics
49	TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-03-05 23:54:33 Logic in computer science Programming language semantics Programming language implementation Compiler construction Formal methods Abstract interpretation Semantics Static program analysis Syntax GrammaTech Denotational semantics Compiler
50	Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-08-13 12:55:46 Models of computation Type theory Formal methods Theory of computation Equivalence relation Monad Denotational semantics Parametricity Simply typed lambda calculus Modal logic Lambda calculus

UPDATE